package flowlogic;

public class Negation extends Constraint {
	
	Constraint negatedConstraint;
	
	public Negation(Constraint cs)
	{
		negatedConstraint = cs;
	}
	
	public Constraint getNegatedConstraint() {
		return negatedConstraint;
	}

	public String toString()
	{
		String res = "!" + "(" + negatedConstraint + ")";
		return res;
	}

}
